D. Hilbert, P. Bernays, "Grundlagen Der Mathematik"
メモ
David Hilbert
と
P. Bernays
による論理学の教科書（記憶では）
K. Gödel; "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I."
でスケッチだけ示された
Gödelの第2不完全性定理
の完全な証明が初めてなされたらしい．